1. Automata
پدیدآورنده : Hopkin, David.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Machine theory,، Turing machines,، Computable functions
رده :
QA
267
.
H57
2. Automatic Control with Experiments /
پدیدآورنده : by Victor Manuel Hernández-Guzmán, Ramón Silva-Ortigoza.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Control and Systems Theory.,Industrial and Production Engineering.,Power Electronics, Electrical Machines and Networks.,Systems Theory, Control.
رده :
TJ212-225
3. Computability and decidability; an introduction for students of computer science
پدیدآورنده : Loeckx, Jacques
موضوع : ، Sequential machine theory,، Turing machines
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
4. Computability theory : concepts and applications
پدیدآورنده : Dunne, Paul E
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computable functions , Recursion theory , Turing machines
رده :
QA
9
.
59
.
D85
5. Computational analysis with the HP 25 pocket calculator
پدیدآورنده : Henrici, Peter
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Data processing ، Numerical analysis,Data processing ، Numbers, Theory of,، Calculating-machines
رده :
QA
297
.
H399
6. Die Gesetzmassigkeiten kombinatorischer technik
پدیدآورنده : Nasvytis, Algirdas
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic calculating- machines,، Punched card systems,، Information theory
رده :
QA
76
.
N31
7. Efficient Auction Games
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Energy; Energy Systems; Power Electronics, Electrical Machines and Networks; Control; Game Theory; Automotive Engineering
8. Elecktronische zahlschaltungen. Eine Einfuhrung in ihre wirkungsweise und Technik
پدیدآورنده : Apel, Konstantin
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic calculating-- Machines,، Switching theory
رده :
TK
7885
.
A6
1967
9. Equivalent-small-parameter analysis of DC/DC switched-mode converter /
پدیدآورنده : Yanfeng Chen, Bo Zhang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : DC-to-DC converters.,Circuits and Systems.,Power Electronics, Electrical Machines and Networks.,Systems Theory, Control.,Circuits & components.,Cybernetics & systems theory.,DC-to-DC converters.,Power networks, systems, stations & plants.,TECHNOLOGY & ENGINEERING / Mechanical.
رده :
TK7872
.
C8
C44
2019
10. Iterative arrays of logical circuits
پدیدآورنده :
موضوع : Electronic calculating machines--Circuits,Switching theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
11. Mathematical epistemology and psychology
پدیدآورنده : Beth, Evert Willem, 8091-4691
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy,، Logic machines,Mathematical models ، Psychology,، Knowledge, Theory of
رده :
BC
135
.
B4413
12. Rechteck-ferritkerne; Berechnung der schaltvorgange fur pratische anwendungen
پدیدآورنده : Neeteson, Pieter Adrianus
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Ferrites )Magnetic materials(,، Switching theory,، Electronic calculating-machines-- Circuits
رده :
TK
7885
.
N415
13. Theory of machines
پدیدآورنده : Khurmi, R. S.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Machines theory
رده :
TJ
175
.
K4T4
14. Theory of machines
پدیدآورنده : Shigley, Joseph Edward
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Machines theory
رده :
TJ
175
.
S3T4
15. Theory of machines
پدیدآورنده : Sharif, Abdulla
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Machines theory
رده :
TJ
175
.
S5T4
16. Theory of machines )IN SI UNITS(
پدیدآورنده : Singh, V. P.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Machines theory
رده :
TJ
145
.
S55